1. Essays in the Philosophy and History of Logic and Mathematics

Author:

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Mathematics-- Philosophy.,Mathematics-- Philosophy-- History-- 20th century.,Logic-- History.,ریاضیات -- فلسفه ,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م. ,منطق -- تاریخ

Classification :
QA
8
.
6
.
M8E8
2010
E-Book
,

2. Essays in the philosophy and history of logic and mathematics /

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Cantor, Georg,1845-1918,Hilbert, David,1862-1943,Hoene-Wroński, Józef Maria,1776-1853,Logic-- History,Logic, Symbolic and mathematical,Mathematics-- Philosophy,Mathematics-- Philosophy-- History-- 20th century

3. Recursive functions and metamathematics :

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Decidability (Mathematical logic),Gödel's theorem.,Recursive functions.